#include <globals.h>

int main(object me, string args)
{
    float a = 2147483647.000000;

    printf("%f\n", a);

    return 1;
}
